大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Advances in Computation and Intelligence [electronic resource] : Second International Symposium, ISICA 2007 Wuhan, China, September 21-23, 2007 Proceedings

0
索取号：
作者：Kang、 Lishan.、Liu、 Yong.、Zeng、 Sanyou.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computer Science-Theory and Applications [electronic resource] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

0
索取号：
作者：Diekert、 Volker.、Volkov、 Mikhail V.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Monte Carlo and Quasi-Monte Carlo Methods 2006 [electronic resource]

0
索取号：
作者：Keller、 Alexander.、Heinrich、 Stefan.、Niederreiter、 Harald.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

New Results in Numerical and Experimental Fluid Mechanics VI [electronic resource] : Contributions to the 15th STAB/DGLR Symposium Darmstadt, Germany, 2006

0
索取号：
作者：Tropea、 Cameron.、Jakirlic、 Suad.、Heinemann、 Hans-Joachim.、Henke、 Rolf.、H枚nlinger、 Heinz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Mathematical Foundations of Computer Science 2007 [electronic resource] : 32nd International Symposium, MFCS 2007 膶esk媒 Krumlov, Czech Republic, August 26-31, 2007 Proceedings

0
索取号：
作者：Ku膷era、 Lud臎k.、Ku膷era、 Anton铆n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Combinatorics, Algorithms, Probabilistic and Experimental Methodologies [electronic resource] : First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers

0
索取号：
作者：Chen、 Bo.、Paterson、 Mike.、Zhang、 Guochuan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Geological Methods in Mineral Exploration and Mining [electronic resource]

0
索取号：
作者：Marjoribanks、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Measuring the Value of Culture [electronic resource] : Methods and Examples in Cultural Economics

0
索取号：
作者：Snowball、 Jeanette D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Recent Advances in Intrusion Detection [electronic resource] : 10th International Symposium, RAID 2007, Gold Goast, Australia, September 5-7, 2007. Proceedings

0
索取号：
作者：Kruegel、 Christopher.、Lippmann、 Richard.、Clark、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Algorithmic Methods for Railway Optimization [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers

0
索取号：
作者：Geraets、 Frank.、Kroon、 Leo.、Schoebel、 Anita.、Wagner、 Dorothea.、Zaroliagis、 Christos D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Fundamentals of Computation Theory [electronic resource] : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

0
索取号：
作者：Csuhaj-Varj煤、 Erzs茅bet.、脡sik、 Zolt谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Speaker Classification I [electronic resource] : Fundamentals, Features, and Methods

0
索取号：
作者：M眉ller、 Christian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007. Proceedings

0
索取号：
作者：Yuille、 Alan L.、Zhu、 Song-Chun.、Cremers、 Daniel.、Wang、 Yongtian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Implementation and Application of Functional Languages [electronic resource] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

0
索取号：
作者：Horv谩th、 Zolt谩n.、Zs贸k、 Vikt贸ria.、Butterfield、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logics of Specification Languages [electronic resource]

0
索取号：
作者：Bj酶rner、 Dines.、Henson、 Martin C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Decision Procedures [electronic resource] : An Algorithmic Point of View

0
索取号：
作者：Kroening、 Daniel.、Strichman、 Ofer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.